BRICS DS-04-1 B. Klin: An Abstract Coalgebraic Approach to Process Equivalence for Well-Behaved Operational Semantics BRICS Basic Research in Computer Science

Source URL: www.brics.dk

• Programming language semantics
• Logic in computer science
• Operational semantics
• BRIC
• Peter Mosses
• Gordon Plotkin
• Congruence relation
• Theoretical computer science
• Mathematics
• Formal methods

Cut Elimination in Deduction Modulo by Abstract Completion Guillaume Burel1 and Claude Kirchner2 1 3

Source URL: www.ensiie.fr

• Natural deduction
• Sequent calculus
• Cut-elimination theorem
• Sequent
• Rule of inference
• First-order logic
• Mathematical proof
• KeY
• Negation
• Logic
• Mathematical logic
• Proof theory

BRICS RSAceto et al.: Finite Equational Bases in Process Algebra: Results and Open Questions BRICS Basic Research in Computer Science

Source URL: www.brics.dk

• Boolean algebra
• Algebraic structures
• Probability theory
• Mathematical structures
• Universal algebra
• Sigma-algebra
• Model theory
• Structure
• Independence
• Mathematics
• Mathematical logic
• Abstract algebra

Abstract syntax for variable binders: An overview Dale Miller Department of Computer Science and Engineering 220 Pond Laboratory, The Pennsylvania State University University Park, PAUSA

Source URL: www.lix.polytechnique.fr

• Lambda calculus
• Logic programming
• Type theory
• Predicate logic
• ΛProlog
• Unification
• Free variables and bound variables
• Simply typed lambda calculus
• Higher-order abstract syntax
• Logic
• Mathematics
• Theoretical computer science

Sessions as Propositions Sam Lindley and J. Garrett Morris The University of Edinburgh {Sam.Lindley,Garrett.Morris}@ed.ac.uk Abstract Recently, Wadler presented a continuation-passing translation from a session-typed

Source URL: homepages.inf.ed.ac.uk

• Mathematical logic
• Universal quantification
• Uniform space
• Linear temporal logic
• Μ operator
• Mathematics
• Function
• Topology

BRICS Basic Research in Computer Science BRICS RSL. Santocanale: A Calculus of Circular Proofs and its Categorical Semantics A Calculus of Circular Proofs and

Source URL: www.brics.dk

• Universal property
• Lambda calculus
• Functor
• Combinatory logic
• Initial algebra
• Function
• Equivalence of categories
• Sheaf
• Coproduct
• Mathematics
• Category theory
• Abstract algebra

Matching with Preferences over Colleagues Solves Classical Matching Scott Duke Kominers∗,1 Department of Economics, Harvard University and Harvard Business School Abstract

Source URL: www.scottkom.com

• Cooperative games
• Game theory
• Combinatorial optimization
• Stable marriage problem
• Entailment
• Preference
• Stable roommates problem
• Mathematics
• Logic
• Matching

Automating Theories in Intuitionistic Logic Guillaume Burel Nancy-Universit´e & LORIA? http://www.loria.fr/∼burel/ Abstract. Deduction modulo consists in applying the inference rules of

Source URL: www.ensiie.fr

Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits Gilles Dowek and Murdoch J. Gabbay Abstract. We define a model of predicate logic in which every term and predicate, open or closed,

Source URL: who.rocq.inria.fr

How to reason with OWL in a logic programming system Markus Krötzsch, Pascal Hitzler, Denny Vrandeˇci´c AIFB, Universität Karlsruhe, Germany Abstract Logic programming has always been a major ontology

Source URL: korrekt.org